🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Historical highlights?
logicmatters.net·2d
🧮Algebraic Archives
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·8h
💻Programming languages
Issue 481
haskellweekly.news·22m
🔗Functional Compilers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Gradual negation types and the Python type system
jellezijlstra.github.io·5h·
Discuss: Hacker News
🔬Refinement Types
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·2d
🧠Learned Indexing
Undone Computer Science
undonecs.org·25m·
Discuss: Hacker News
🌍Cultural Algorithms
Daily briefing: The breakthrough proof bringing mathematics closer to a grand unified theory
nature.com·54m
🔲Cellular Automata
Dual numbers
funcall.blogspot.com·19h·
Discuss: www.blogger.com
📐Interval Arithmetic
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·1d·
Discuss: r/MachineLearning
📊Learned Metrics
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·10h·
Discuss: Hacker News
🔗Concatenative Programming
Go interfaces and json.Unmarshal
fbrs.io·17h
🔧Binary Parsers
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·1d·
Discuss: Hacker News
🌀Differential Geometry
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Machine Learning Fundamentals: dimensionality reduction
dev.to·21h·
Discuss: DEV
📐Linear Algebra
Almost Always Auto (2013)
herbsutter.com·2h·
Discuss: Hacker News
🔒Type Safety